* w32heap.h (w32_fatal_reload_error): Declare.

diff --git a/src/w32heap.h b/src/w32heap.h
index d2b05ba6e7c2f187b419e6f7338abaebac409ad0..ae18fd81df720aa3a956775a66172eeda6c1460d 100644 (file)
--- a/src/w32heap.h
+++ b/src/w32heap.h
@@ -77,6 +77,9 @@ extern void cache_system_info (void);
 extern unsigned char *round_to_next (unsigned char *address, 
                                     unsigned long align);
 
+/* Report a fatal error during dumped heap management.  */
+void w32_fatal_reload_error (char *step);
+
 /* ----------------------------------------------------------------- */
 /* Useful routines for manipulating memory-mapped files. */